Skip to content

DevKit updates for 5.x branch#987

Merged
VincentLanglet merged 1 commit into5.xfrom
5.x-dev-kit
May 8, 2025
Merged

DevKit updates for 5.x branch#987
VincentLanglet merged 1 commit into5.xfrom
5.x-dev-kit

Conversation

@SonataCI
Copy link
Copy Markdown
Collaborator

@SonataCI SonataCI commented May 7, 2025

No description provided.

@github-actions github-actions Bot enabled auto-merge (rebase) May 7, 2025 20:12
@VincentLanglet VincentLanglet disabled auto-merge May 8, 2025 12:04
@VincentLanglet VincentLanglet merged commit 204403f into 5.x May 8, 2025
2 checks passed
@VincentLanglet VincentLanglet deleted the 5.x-dev-kit branch May 8, 2025 12:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants